A relational semantics for parallelism and non-determinism in a functional setting
نویسندگان
چکیده
منابع مشابه
A relational semantics for parallelism and non-determinism in a functional setting
We recently introduced an extensional model of the pure λ-calculus living in a canonical cartesian closed category of sets and relations [6]. In the present paper, we study the non-deterministic features of this model. Unlike most traditional approaches, our way of interpreting non-determinism does not require any additional powerdomain construction. We show that our model provides a straightfo...
متن کاملNon-Determinism in a Functional Setting
The pure untyped Lambda Calculus augmented with an (erratic) choice operator is considered as an idealised non-deterministic functional language. Both the \may" and the \must" modalities of convergence are of interest to us. Following Abramsky's work on domain theory in logical form, we identify the deno-tational type that captures our computational situation: = P ! ] ? ] where P?] is the Plotk...
متن کاملpassivity in waiting for godot and endgame: a psychoanalytic reading
this study intends to investigate samuel beckett’s waiting for godot and endgame under the lacanian psychoanalysis. it begins by explaining the most important concepts of lacanian psychoanalysis. the beckettian characters are studied regarding their state of unconscious, and not the state of consciousness as is common in most beckett studies. according to lacan, language plays the sole role in ...
Natural Semantics for Non-Determinism
We present a natural semantics for the untyped lazy -calculus plus McCarthy's amb, a nondeterministic choice operator. The natural semantics includes rules for both convergent behaviour (de ned inductively) and divergent behaviour (de ned co-inductively). This semantics is equivalent to a small step reduction semantics that corresponds closely to our operational intuitions about McCarthy's amb....
متن کاملfeatures of short story in translated and non-translated literature: a polysystemic perspective
ترجمه متون ادبی در دنیای امروز از اهمیت ویژه ای برخوردار است. فرهنگ های مختلف با استفاده از متون ادبی ملل و فرهنگ های دیگر سعی در غنی کردن فرهنگ و ادبیات کشور خود دارند. کشور ما نیز از این قاعده مستثنی نیست. در ایران، ترجمه متون ادبی اروپائی که با دوران مشروطه ایرانی آغاز می شود موجب تغییرات اساسی در فرهنگ، شیوه زندگی و تفکر ایرانیان شده است. در این دوران نه تنها در امورات سیاسی و فکری کشور تغی...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2012
ISSN: 0168-0072
DOI: 10.1016/j.apal.2011.09.008